Calculus of Constructions
#Fleeting_Notes
Calculus of Constructions(CoC)
単純型付きラムダ計算
+
依存型
+
確認用
Q. Calculus of Constructions
関連
ラムダ・キューブ
調査用
Google.icon
Calculus of Constructions(日)
Google.icon
Calculus of constructions(英)
Wikipedia.icon
Calculus of Constructions - Wikipedia(日)
Calculus of Constructions(検索) - Wikipedia(日)
Wikipedia.icon
Calculus of constructions - Wikipedia(英)
Calculus of constructions(検索) - Wikipedia(英)